projects / pcl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be1c7f2) | patch
Revert "Deleting unnecessary lintians": seems that finally we need them.
authorLeopold Palomo-Avellaneda <leo@alaxarxa.net>
Mon, 13 Oct 2014 12:53:50 +0000 (14:53 +0200)
committerLeopold Palomo-Avellaneda <leo@alaxarxa.net>
Mon, 13 Oct 2014 12:53:50 +0000 (14:53 +0200)
commitccd1691d32d783e5f9182cbcd43bf6915c0c202e
tree2cf429d63369487d36302621784d3f4ce8ea5545tree | snapshot
parentbe1c7f2d10c9d0db6eff088d97692b989371d5cccommit | diff
Revert "Deleting unnecessary lintians": seems that finally we need them.
This reverts commit e52112432aa22924ad2188aa9f7e908b03144bd8.
debian/changelog diff | blob | history
debian/libpcl-dev.lintian-overrides [new file with mode: 0644] blob
debian/libpcl-doc.lintian-overrides diff | blob | history
debian/libpcl-octree1.7.lintian-overrides [new file with mode: 0644] blob
debian/libpcl-people1.7.lintian-overrides [new file with mode: 0644] blob
debian/libpcl1.7-dbg.lintian-overrides [new file with mode: 0644] blob
debian/pcl-tools.lintian-overrides [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.